微分方程代表了从静态代数快照到动态数学模型的转变。我们不再求解单一数值，而是求解一个未知的 函数 来描述系统随时间演变的方式。本质上，微分方程（DE）表达了某个量与其变化率之间的关系。
动力学的语言
一个 微分方程 是一个包含未知函数及其部分导数的方程。要掌握微分方程的语言，我们必须明确变量的角色：
- 自变量（$t$）： 通常表示时间和位置。
- 因变量（$P$ 或 $y$）： 表示系统的状态（例如，种群规模）。
- 阶数： 方程中出现的最高阶导数。例如，$y'' + y = 0$ 是一个二阶方程。
自然增长模型
考虑自然增长定律：种群的变化率与其大小成正比。这转化为一阶微分方程：
$$\frac{dP}{dt} = kP$$
其中，$k$ 是相对增长率。该模型表明，种群越大，其增长速度越快——这是指数行为的标志。
验证解
我们如何判断一个函数是否是解？它必须对所有 $t$ 都满足恒等式。
验证
令 $P(t) = Ce^{kt}$。我们计算其导数：
$$P'(t) = \frac{d}{dt}(Ce^{kt}) = C(ke^{kt}) = k(Ce^{kt})$$
由于 $Ce^{kt} = P(t)$，我们得到 $P'(t) = kP(t)$。恒等式成立！
初始条件与唯一性
解 $P = Ce^{kt}$ 实际上是一组 解的集合。为了找到特定曲线，我们需要一个 初始条件，例如 $P(0) = P_0$。这一物理约束使我们能够求出 $C$，从而确定系统的唯一轨迹。 注意：在生物情境中，我们要求 $C > 0$，因为种群数量不能为负。
🎯 关键洞察
微分方程定义了变化规律；初始条件定义了起始状态。二者共同决定了系统的未来唯一确定。